退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:抽象代数上存在性断言的原始递归选择函数
Thomas Strahm; Jeffery Zucker;
机译:递归功能和存在封闭的结构
机译:原始递归和多项式布尔代数的分类
机译:抽象代数上的本机递归选择函数
机译:跟踪教学和学习抽象代数的变化:信念和抽象能力。
机译:分类组合性III:F-(co)代数与人类认知中递归能力的系统性
机译:两个共轭原始递归排列不是由原始递归排列共轭的
机译:使用抽象语法树将基于注释的标准中的描述性资产包含到基于代码的库中的系统和方法
机译:使用抽象语法树将基于注释的标准中的描述性断言封装到基于代码的库中的系统和方法
机译:诊断脉冲线路中的阻塞的方法包括将代数函数拟合到测量信号并确定参数的值作为相对于代数函数的一个部分的特征值
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。